
   Syntax       label %:= HIGHBOUND% label

   Purpose      Isolates the upper bound of an integral.  (See INTEGRAL) ;

   Abbreviation         HIGH for HIGHBOUND

   %Example%

   þE : a + b*%Ÿ%{a,b}f(x)%d%(x)
   þF := INTEGRAL E
   F : %Ÿ%{a,b}f(x)%d%(x)

   PROCEDURE Example(LABEL L,M) ;
     LABEL T ;
     T := INTEGRAL L ;
     M := HIGHBOUND L
   EXIT

